﻿/*============================================
 * 类名 :LawFormat
 * 描述 :
 *   
 * 创建时间: 2011-2-1 20:50:39
 * Blog:   http://home.cnblogs.com/xiangism
 *============================================*/
using System;
using System.Collections.Generic;

using System.Text;

namespace 命题证明
{
    /// <summary>表示一个定律的后序形式与其对应的结论</summary>
    class LawFormat
    {
        public LawFormat( string after, string r )
        {
            this.ConditionAfter = after;
            this.Result = r;
        }
        /// <summary>后序形式的已知条件</summary>
        public string ConditionAfter { get; set; }
        /// <summary>结论</summary>
        public string Result { get; set; }
    }
}
